Introduce RECLAIM_INIT_CODE build flag
authorDaniel Boulby <[email protected]>
Tue, 18 Sep 2018 10:45:51 +0000 (11:45 +0100)
committerAntonio Nino Diaz <[email protected]>
Wed, 3 Oct 2018 10:47:30 +0000 (11:47 +0100)
commit1dcc28cfbac5dae3992ad9581f9ea68f6cb339c1
tree91ba202cfe45aad728e50842fd248238fdd72ec5
parent1a4b46d5836d766ba6092206119be030f54462dd
Introduce RECLAIM_INIT_CODE build flag

This patch introduces a build flag "RECLAIM_INIT_CODE" to mark boot time
code which allows platforms to place this memory in an appropriate
section to be reclaimed later. This features is primarily targeted for
BL31. Appropriate documentation updates are also done.

Change-Id: If0ca062851614805d769c332c771083d46599194
Signed-off-by: Daniel Boulby <[email protected]>
Makefile
docs/firmware-design.rst
include/lib/libc/cdefs.h
make_helpers/defaults.mk